A Policy Language for Modelling Recommendations
نویسندگان
چکیده
1 While current and emergent applications become more and more complex, most of existing security policies and models only consider a yes/no response to the access requests. Consequently, modelling, formalizing and implementing permissions, obligations and prohibitions do not cover the richness of all the possible scenarios. In fact, several applications have access rules with the recommendation access modality. In this paper we focus on the problem of formalizing security policies with recommendation needs. The aim is to provide a generic domainindependent formal system for modelling not only permissions, prohibitions and obligations, but also recommendations. In this respect, we present our logic-based language, the semantics, the truth conditions, our axiomatic as well as inference rules. We also give a representative use case with our specification of recommendation requirements. Finally, we explain how our logical framework could be used to query the security policy and to check its consistency.
منابع مشابه
The Global Financial Crisis, Economic Integration and China’s Exports: A Causal and Predictive Analysis
Recent strong growth of China’s exports has elevated the country to a rising global economic power and caused geo-political concern to policy-makers in the country and its trading partners world-wide. What are the determinants of this growth, how has it affected major economies in ASEAN (World Bank, 2009) in particular, and what kind of evidence-based responses are required and appropriate? The...
متن کاملCharacterizing the Validity and Real-World Utility of Health Technology Assessments in Healthcare: Future Directions; Comment on “Problems and Promises of Health Technologies: The Role of Early Health Economic Modelling”
With their article, Grutters et al raise an important question: What do successful health technology assessments (HTAs) look like, and what is their real-world utility in decision-making? While many HTAs are published in peer-reviewed journals, many are considered proprietary and their attributes remain confidential, limiting researchers’ ability to answer these questio...
متن کاملHow Useful Are Early Economic Models?; Comment on “Problems and Promises of Health Technologies: The Role of Early Health Economic Modelling”
Early economic modelling has long been recommended to aid research and development (R&D;) decisions in medical innovation, although they are less frequently published and critically appraised. A review of 30 innovations by Grutters et al provides an opportunity to evaluate how early models are used in practice. The evidence of early models can be used to inform two types...
متن کاملContext-Based Integrative Educational Technique in Profession-Oriented Foreign Language Teaching (Academic Model United Nations)
The aim of the article is to examine the Academic Model United Nations (Model UN) as a context-based integrative educational technique in profession-oriented foreign language teaching (FLT); to point out the context-based integrative nature of profession-oriented language learning and highlight the importance of using product-based educational techniques in FLT for developing students’ future p...
متن کاملApplying Interpretive- Structural Modelling to Review Priorities of Health Reform Plan: Evidence-based policy making
Introduction: Considering the fact that the health reform plan has been implemented for five years, it is necessary to re-evaluate the plan and adapt it to the needs and macro policies of our society. Therefore, the current study aimed to use health-related scientific evidences together with the experiences, opinion, and expertise of field professionals to achieve priorities for health refor...
متن کامل